fixed substatement to not allow self-nesting; disallowed version property