first set of alica constraints on well-formed programs seems to work