Added contract generation source