type/domain check for logical variables added; state evaluation for MLN;