+ fix constraint evaluation function