Tried to define reflexive-transitive closure, and failed
Corrected name for JavaScript backend (#94)
full_context_dependency strikes again