Added LM test metadata for testing "LM must concrete all transtions in SM".

1. For @Transition annotation with default value on method, the method
name must be consistent with the transition.
2. For method in LM use other SM's transtion.
3. For transitions in SM are covered or not by LM.
4. For transtion annotated with @Corrupt, @Redo, @Recover, it should
have only 1 method.
Refactored newIntance method to throw VerificationException
Added positive test test_LM_concrete_all_transitions_with_explicit_transition_name
Added negative test test_LM_partial_concreting_transitions_A
Refactored LM errors
Implemented part of verifySyntax method
Resolved merge conflicts