Computational-level Analysis of Constraint Compliance for General Intelligence