Proving modularity for a given elliptic curve over an imaginary quadratic field