adding code to check for cyclic constants
adding files that I forgot to commit