add CFG property: singleton

singleton CFGs can be used for compression. we can check that each variable occurs in exactly one lhs and that the dependency relation is non-looping