undefined: construct.CreateResource (compile)

cannot use &sol.KB (value of type *MockKB) as knowledgebase2.TemplateKB value in return statement: *MockKB does not implement knowledgebase2.TemplateKB (missing method GetPathSatisfactionsFromEdge)

cannot use testOperationalView{…} (value of type testOperationalView) as solution_context.OperationalView value in return statement: testOperationalView does not implement solution_context.OperationalView (missing method MakeEdgesOperational) (compile)

unknown field DAG in struct literal of type knowledgebase2.DynamicValueContext

unknown field Path in struct literal of type propertyVertex

cannot use knowledgebase.Property{…} (value of type knowledgebase2.Property) as *knowledgebase2.Property value in struct literal

unknown field Constraints in struct literal of type propertyVertex

v.depsForProp undefined (type *propertyVertex has no field or method depsForProp) (compile)

error var StopWalk should have name of the form ErrFoo (ST1012)

default case should be first or last in switch statement (ST1015)