add eval functions for evaluating constants
check case conditions for overlaps