Symbolic Manipulation of Code Properties