Some improvements in finding inference constraints