Added additional assertion to concolic tests
Convert constant doubles to integers since we do not support real constraints in the constraint solver

Fixes #76