(multi2mono) check schedulability with local varibles that load from
state ones