Add new test for SLIF semantics
Work on SLIF Semantics POD