@maxqchen side note: #36 changed the name of isRuntimeEvaluable to isSynthesizable.
When it is merged, this code would have to be changed as well.