Starting to implement AstContract component of ast model...