Bugfix: correctly update monotonicity properties after project import