No matches were found for subject:"\[ast\-users\] \[\[ \-v x.MAX \]\] returns 0 if x is an integer variable"