WIP on develop: 6fddf43 Added license headers, changed visibility of classes in misc/incremental
Added utility functions for searching defined/undefined transitions
Prepared guava dependency