Add mostConstrainedFreeSquare function