Changed partition invariant rule to make use of enabled methodand added anotations