fixing bugs on the perform method of binary constraint resolvers