unpack names and arguments to Math functions that we do not support directly
mark a constraint as test and add TODO for when we ever want to recalculate a test (Hint: we don't)
cache finding transitive closure of constraint variable against a global counter
adjusted movement speed for tanks and bullets