Extended the at most constraint with bimander encoding.