WIP: Add assumptions based on cast_func.args[0]

This enables cast_func(1.f, create_type('double')).positive == True

Edited by Stephan Seitz

Merge request reports

Loading