Check for type constraints implied by precondition. Check precondition after checking type constraints.
Check for type constraints implied by precondition. Check precondition after checking
type constraints.

chubbymaggie/alive,rutgers-apl/alive-loops,chubbymaggie/alive,nunoplopes/alive,nunoplopes/alive,chubbymaggie/alive,chubbymaggie/alive,rutgers-apl/alive-loops,nunoplopes/alive,rutgers-apl/alive-loops,rutgers-apl/alive-loops,nunoplopes/alive