Add assumptions based on cast_func.args[0]

This enables cast_func(1.f, create_type('double')).positive == True
13 jobs for cast_func-assumptions in 16 minutes and 10 seconds (queued for 3 seconds)
latest