Semantic verification

# Started semantic verification
# Code organization