add setCoverage to ASTNodeImpl