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
Name Stage Failure
failed
pycodegen-integration Test
$ git submodule foreach git fetch origin
Entering 'lbmpy'
warning: redirecting to https://i10git.cs.fau.de/pycodegen/lbmpy.git/
Entering 'lbmpy_walberla'
warning: redirecting to https://i10git.cs.fau.de/pycodegen/lbmpy_walberla.git/
Entering 'pygrandchem'
fatal: unable to access 'https://gitlab-ci-token:[MASKED]@i10git.cs.fau.de/pycodegen/pygrandchem/': gnutls_handshake() failed: The TLS connection was non-properly terminated.
Stopping at 'pygrandchem'; script returned non-zero status.
ERROR: Job failed: exit code 1