fix ambiguity in substitution.k

@traiansf you wrote this, can you review?