let sign n a =
  let s = get_context n in
  let a' = Context.can s a in
    try
      Some(Context.cnstrnt s a')
    with
        Not_found -> None